Autotesting an Embedded Reconfigurable Computing System

Purpose of research. The main idea is to build a mathematical testing model that integrates different aspects an embedded reconfigurable computing system and its interactions. This provides efficient representation test scenarios allows analyse the dynamics during testing. paper also discusses methods for generating sequences based on properties finite state machine. Methods. authors propose represent autotest as Mile machine, where states serve store information about current system. input signal interaction with output system's response signal. approach formalize process simplify analysis possible problems. Results. application automata theory in context automated systems. Automata effective tools simulation discrete dynamic systems, which makes it suitable tasks. Conclusion. results show use can significantly improve quality efficiency deeper detect prevent potential problems may arise operation.